Title:
Apports de la logique mathématique pour la modélisation de l'information
échangée dans des systèmes multiagents interactifs

Author:
Stéphanie Roussel
(CRIL, Université d'Artois)

Abstract:
Ce séminaire est l'occasion de présenter mes travaux de thèse qui seront
soutenus dans deux semaines.

La thèse s'intéresse aux systèmes multiagents dans lesquels les agents
échangent des informations de façon à atteindre un but commun.

Lors de l'échange d'informations entre agents, il est souhaitable que les
agents aient un comportement coopératif, c'est-à-dire qu'ils ne se
transmettent que les informations qui leur sont utiles. Nous définissons
donc en logique modale quelles sont les informations utiles pour un agent
étant donné un besoin en information de celui-ci. A partir de ces travaux,
nous travaillons sur la notion d'agent coopératif et en proposons plusieurs
définitions.

Les échanges des agents sont en général réglementés par une politique
d'échange d'informations. Pour qu'une telle politique soit efficace, il
faut qu'elle soit cohérente et complète. Nous formalisons ces deux notions
en logique déontique pour des réglementations générales. Nous proposons
ensuite une méthode pour raisonner avec des réglementations incomplètes et
appliquons nos résultats aux politiques d'échange d'informations.

Finalement, nous analysons dans quelle mesure il est possible d'être à la
fois coopératif et obéissant à une politique d'échange d'informations.